tools-xenpaging-prefix.diff
authorBastian Blank <waldi@debian.org>
Sat, 5 Jul 2014 09:47:08 +0000 (11:47 +0200)
committerHans van Kranenburg <hans@knorrie.org>
Tue, 11 Sep 2018 13:34:35 +0000 (15:34 +0200)
commit27e99e6b0d2dda86a5ca092bdb83bbae2508878a
tree9ec5549a99791f9a4d5bf810389ae03d5e7f7884
parenteefd3a69f3824afcfa58c14f5e4ff442d3288f8a
tools-xenpaging-prefix.diff

Patch-Name: tools-xenpaging-prefix.diff

Gbp-Pq: Topic prefix-abiname
Gbp-Pq: Name tools-xenpaging-prefix.diff
tools/xenpaging/Makefile